Search for: All records

This paper presents the Extension Interface Model (EIM) and bpftime, which together enable safer and more efficient extension of userspace applications than the current state-of-the-art. EIM is a new model that treats each required feature of an extension as a resource, including concrete hardware resources (e.g., memory) and abstract ones (e.g., the ability to invoke a function from the extended application). An extension manager, i.e., the person who manages a deployment, uses EIM to specify only the resources an extension needs to perform its task. bpftime is a new extension framework that enforces an EIM specification. Compared to prior systems, bpftime is efficient because it uses extended Berkeley Packet Filter (eBPF)-style verification, hardware-supported isolation features (e.g., Intel MPK), and dynamic binary rewriting. Moreover, bpftime is easy to adopt into existing workflows since it is compatible with the current eBPF ecosystem. We demonstrate the usefulness of EIM and bpftime across 6 use cases that improve security, monitor and enhance performance, and explore configuration trade-offs. 

Abstract This work introduces a mixed‐transducer micro‐origami to achieve efficient vibration, controllable motion, and decoupled sensing. Existing micro‐origami systems tend to have only one type of transducer (actuator/sensor), which limits their versatility and functionality because any given transducer system has a narrow range of advantageous working conditions. However, it is possible to harness the benefit of different micro‐transducer systems to enhance the performance of functional micro‐origami. More specifically, this work introduces a micro‐origami system that can integrate the advantages of three transducer systems: strained morph (SM) systems, polymer based electro‐thermal (ET) systems, and thin‐film lead zirconate titanate (PZT) systems. A versatile photolithography fabrication process is introduced to build this mixed‐transducer micro‐origami system, and their performance is investigated through experiments and simulation models. This work shows that mixed‐transducer micro‐origami can achieve power efficient vibration with high frequency, large vibration ranges, and little degradation; can produce decoupled folding motion with good controllability; and can accomplish simultaneous sensing and actuation to detect and interact with external environments and small‐scale samples. The superior performance of mixed‐transducer micro‐origami systems makes them promising tools for micro‐manipulation, micro‐assembly, biomedical probes, self‐sensing metamaterials, and more. 

The aim of this study is to develop an internal-external correlation model for internal motion estimation for lung cancer radiotherapy. Deformation vector fields that characterize the internal-external motion are obtained by respectively registering the internal organ meshes and external surface meshes from the 4DCT images via a recently developed local topology preserved non-rigid point matching algorithm. A composite matrix is constructed by combing the estimated internal phasic DVFs with external phasic and directional DVFs. Principle component analysis is then applied to the composite matrix to extract principal motion characteristics, and generate model parameters to correlate the internal-external motion. The proposed model is evaluated on a 4D NURBS-based cardiac-torso (NCAT) synthetic phantom and 4DCT images from five lung cancer patients. For tumor tracking, the center of mass errors of the tracked tumor are 0.8(±0.5)mm/0.8(±0.4)mm for synthetic data, and 1.3(±1.0) mm/1.2(±1.2)mm for patient data in the intra-fraction/inter-fraction tracking, respectively. For lung tracking, the percent errors of the tracked contours are 0.06(±0.02)/0.07(±0.03) for synthetic data, and 0.06(±0.02)/0.06(±0.02) for patient data in the intra-fraction/inter-fraction tracking, respectively. The extensive validations have demonstrated the effectiveness and reliability of the proposed model in motion tracking for both the tumor and the lung in lung cancer radiotherapy.